Infinite products in trigonometry